WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000
نویسندگان
چکیده
منابع مشابه
Rewriting logic: roadmap and bibliography
Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30–June 3, 1994, Selected Papers, Lecture Notes in Computer Science, Vol. 906, Springer, Berlin, 1995, pp. 351–367. [201] M. Leucker, T. Noll, Rewriting logic as a framework for generic veri9cation tools, in: K. Futatsugi (Ed.), Proc. 3rd Internat. Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Jap...
متن کاملWlp 2008
Die Gesellschaft für Logische Programmierung e.V. [1], die deutschsprachige Abteilung (für Deutschland, Österreich und die Schweiz) der Association of Logic Programming [2], organisiert seit vielen Jahren den Workshop on (Constraint) Logic Programming (WLP). Auf dem alljährlich stattfindenden WLP treffen sich Wissenschaftler aus den Gebieten der logischen Programmierung, der Constraint-Programm...
متن کاملExperiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation
on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming (WLP’15/’16/WFLP’16). EPTCS 234, 2017, pp. 57–72, doi:10.4204/EPTCS.234.5 c © S. Brass & H. Stephan This work is licensed under the Creative Commons Attribution-Noncommercial-No Derivative Works License. Experiences with Some Benchmarks for Deductive Databases and Implementations o...
متن کاملAnalogical Reuse of Structural and Behavioral Aspects of Event-Based Object-Oriented Domain Models
1 This paper has been published in Domaine Engineering Workshop, Proceedings of the 11th International Workshop on Database and Expert Systems Applications, London (Greenwich), 4-8 Sept. 2000,IEEE Computer Society, pp. 802806 . Copyright and all rights therein are retained by the authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and ...
متن کاملFair Exchange
transition relations. In Proc. 16th Ann. IEEE Symp. on Logic in Computer Science, Boston, MA, June, pp. 51–58.IEEE Computer Society Press, Los Alamitos, CA. [77] Kremer, S. and Raskin, J.-F. (2002) Game analysis of abuse-free contract signing. In Proc. 15th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada,June. IEEE Computer Society Press, Los Alamitos, ...
متن کامل